Optimal. Leaf size=130 \[ -\frac{35 i a^5 \sec (c+d x)}{2 d}-\frac{35 a^5 \tanh ^{-1}(\sin (c+d x))}{2 d}-\frac{7 i a^3 \sec (c+d x) (a+i a \tan (c+d x))^2}{3 d}-\frac{35 i \sec (c+d x) \left (a^5+i a^5 \tan (c+d x)\right )}{6 d}-\frac{2 i a \cos (c+d x) (a+i a \tan (c+d x))^4}{d} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.10423, antiderivative size = 130, normalized size of antiderivative = 1., number of steps used = 5, number of rules used = 4, integrand size = 22, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.182, Rules used = {3496, 3498, 3486, 3770} \[ -\frac{35 i a^5 \sec (c+d x)}{2 d}-\frac{35 a^5 \tanh ^{-1}(\sin (c+d x))}{2 d}-\frac{7 i a^3 \sec (c+d x) (a+i a \tan (c+d x))^2}{3 d}-\frac{35 i \sec (c+d x) \left (a^5+i a^5 \tan (c+d x)\right )}{6 d}-\frac{2 i a \cos (c+d x) (a+i a \tan (c+d x))^4}{d} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3496
Rule 3498
Rule 3486
Rule 3770
Rubi steps
\begin{align*} \int \cos (c+d x) (a+i a \tan (c+d x))^5 \, dx &=-\frac{2 i a \cos (c+d x) (a+i a \tan (c+d x))^4}{d}-\left (7 a^2\right ) \int \sec (c+d x) (a+i a \tan (c+d x))^3 \, dx\\ &=-\frac{7 i a^3 \sec (c+d x) (a+i a \tan (c+d x))^2}{3 d}-\frac{2 i a \cos (c+d x) (a+i a \tan (c+d x))^4}{d}-\frac{1}{3} \left (35 a^3\right ) \int \sec (c+d x) (a+i a \tan (c+d x))^2 \, dx\\ &=-\frac{7 i a^3 \sec (c+d x) (a+i a \tan (c+d x))^2}{3 d}-\frac{2 i a \cos (c+d x) (a+i a \tan (c+d x))^4}{d}-\frac{35 i \sec (c+d x) \left (a^5+i a^5 \tan (c+d x)\right )}{6 d}-\frac{1}{2} \left (35 a^4\right ) \int \sec (c+d x) (a+i a \tan (c+d x)) \, dx\\ &=-\frac{35 i a^5 \sec (c+d x)}{2 d}-\frac{7 i a^3 \sec (c+d x) (a+i a \tan (c+d x))^2}{3 d}-\frac{2 i a \cos (c+d x) (a+i a \tan (c+d x))^4}{d}-\frac{35 i \sec (c+d x) \left (a^5+i a^5 \tan (c+d x)\right )}{6 d}-\frac{1}{2} \left (35 a^5\right ) \int \sec (c+d x) \, dx\\ &=-\frac{35 a^5 \tanh ^{-1}(\sin (c+d x))}{2 d}-\frac{35 i a^5 \sec (c+d x)}{2 d}-\frac{7 i a^3 \sec (c+d x) (a+i a \tan (c+d x))^2}{3 d}-\frac{2 i a \cos (c+d x) (a+i a \tan (c+d x))^4}{d}-\frac{35 i \sec (c+d x) \left (a^5+i a^5 \tan (c+d x)\right )}{6 d}\\ \end{align*}
Mathematica [A] time = 1.54654, size = 151, normalized size = 1.16 \[ \frac{a^5 \cos ^2(c+d x) (\tan (c+d x)-i)^5 \left ((\cos (4 c-d x)-i \sin (4 c-d x)) (-i (49 \sin (c+d x)+57 \sin (3 (c+d x)))+511 \cos (c+d x)+153 \cos (3 (c+d x)))-840 i (\cos (5 c)-i \sin (5 c)) \cos ^3(c+d x) \tanh ^{-1}\left (\cos (c) \tan \left (\frac{d x}{2}\right )+\sin (c)\right )\right )}{24 d (\cos (d x)+i \sin (d x))^5} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.064, size = 214, normalized size = 1.7 \begin{align*}{\frac{-i{a}^{5} \left ( \sin \left ( dx+c \right ) \right ) ^{6}}{d\cos \left ( dx+c \right ) }}+{\frac{{\frac{i}{3}}{a}^{5} \left ( \sin \left ( dx+c \right ) \right ) ^{6}}{d \left ( \cos \left ( dx+c \right ) \right ) ^{3}}}-{\frac{10\,i{a}^{5} \left ( \sin \left ( dx+c \right ) \right ) ^{4}}{d\cos \left ( dx+c \right ) }}-{\frac{i{a}^{5}\cos \left ( dx+c \right ) \left ( \sin \left ( dx+c \right ) \right ) ^{4}}{d}}-{\frac{{\frac{34\,i}{3}}{a}^{5}\cos \left ( dx+c \right ) \left ( \sin \left ( dx+c \right ) \right ) ^{2}}{d}}+{\frac{5\,{a}^{5} \left ( \sin \left ( dx+c \right ) \right ) ^{5}}{2\,d \left ( \cos \left ( dx+c \right ) \right ) ^{2}}}+{\frac{5\,{a}^{5} \left ( \sin \left ( dx+c \right ) \right ) ^{3}}{2\,d}}+{\frac{37\,{a}^{5}\sin \left ( dx+c \right ) }{2\,d}}-{\frac{35\,{a}^{5}\ln \left ( \sec \left ( dx+c \right ) +\tan \left ( dx+c \right ) \right ) }{2\,d}}-{\frac{{\frac{83\,i}{3}}{a}^{5}\cos \left ( dx+c \right ) }{d}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.13268, size = 234, normalized size = 1.8 \begin{align*} -\frac{15 \, a^{5}{\left (\frac{2 \, \sin \left (d x + c\right )}{\sin \left (d x + c\right )^{2} - 1} + 3 \, \log \left (\sin \left (d x + c\right ) + 1\right ) - 3 \, \log \left (\sin \left (d x + c\right ) - 1\right ) - 4 \, \sin \left (d x + c\right )\right )} + 120 i \, a^{5}{\left (\frac{1}{\cos \left (d x + c\right )} + \cos \left (d x + c\right )\right )} + 4 i \, a^{5}{\left (\frac{6 \, \cos \left (d x + c\right )^{2} - 1}{\cos \left (d x + c\right )^{3}} + 3 \, \cos \left (d x + c\right )\right )} + 60 \, a^{5}{\left (\log \left (\sin \left (d x + c\right ) + 1\right ) - \log \left (\sin \left (d x + c\right ) - 1\right ) - 2 \, \sin \left (d x + c\right )\right )} + 60 i \, a^{5} \cos \left (d x + c\right ) - 12 \, a^{5} \sin \left (d x + c\right )}{12 \, d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.18931, size = 603, normalized size = 4.64 \begin{align*} \frac{-96 i \, a^{5} e^{\left (7 i \, d x + 7 i \, c\right )} - 462 i \, a^{5} e^{\left (5 i \, d x + 5 i \, c\right )} - 560 i \, a^{5} e^{\left (3 i \, d x + 3 i \, c\right )} - 210 i \, a^{5} e^{\left (i \, d x + i \, c\right )} - 105 \,{\left (a^{5} e^{\left (6 i \, d x + 6 i \, c\right )} + 3 \, a^{5} e^{\left (4 i \, d x + 4 i \, c\right )} + 3 \, a^{5} e^{\left (2 i \, d x + 2 i \, c\right )} + a^{5}\right )} \log \left (e^{\left (i \, d x + i \, c\right )} + i\right ) + 105 \,{\left (a^{5} e^{\left (6 i \, d x + 6 i \, c\right )} + 3 \, a^{5} e^{\left (4 i \, d x + 4 i \, c\right )} + 3 \, a^{5} e^{\left (2 i \, d x + 2 i \, c\right )} + a^{5}\right )} \log \left (e^{\left (i \, d x + i \, c\right )} - i\right )}{6 \,{\left (d e^{\left (6 i \, d x + 6 i \, c\right )} + 3 \, d e^{\left (4 i \, d x + 4 i \, c\right )} + 3 \, d e^{\left (2 i \, d x + 2 i \, c\right )} + d\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 2.24636, size = 196, normalized size = 1.51 \begin{align*} \frac{35 a^{5} \left (\frac{\log{\left (e^{i d x} - i e^{- i c} \right )}}{2} - \frac{\log{\left (e^{i d x} + i e^{- i c} \right )}}{2}\right )}{d} + \frac{- \frac{29 i a^{5} e^{- i c} e^{5 i d x}}{d} - \frac{136 i a^{5} e^{- 3 i c} e^{3 i d x}}{3 d} - \frac{19 i a^{5} e^{- 5 i c} e^{i d x}}{d}}{e^{6 i d x} + 3 e^{- 2 i c} e^{4 i d x} + 3 e^{- 4 i c} e^{2 i d x} + e^{- 6 i c}} + \begin{cases} - \frac{16 i a^{5} e^{i c} e^{i d x}}{d} & \text{for}\: d \neq 0 \\16 a^{5} x e^{i c} & \text{otherwise} \end{cases} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] time = 1.7035, size = 689, normalized size = 5.3 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]